The paper presents and applies Hilbert's Epsilon Calculus, first describing its standard proof theory, and giving it an intensional semantics. These are contrasted with the proof theory of Fregean Predicate Logic, and the traditional (extensional) choice function semantics for the calculus. The semantics provided show that epsilon terms are referring terms in Donnellan's sense, enabling the symbolisation and validation of argument forms involving E-type pronouns, both in extensional and intensional contexts. By providing for transparency in intensional constructions they support a (...) Model Conceptualism to contrast with traditional intensional logic's Modal Realism. But epsilon-terms also symbolise fictions, and through their difference from iota terms enable the solution of a number of outstanding puzzles about Direct Reference and de re beliefs. (shrink)

Brian Wormald provides a fundamental reappraisal of one of the most complex and innovative figures of the late-Elizabethan and Jacobean age. In the centuries since his death, Francis Bacon (1561-1626) has been perceived and studied as a promoter and prophet of the philosophy of science--natural science--but he saw himself also as a clarifier and promoter of what he called "policy" or the study and improvement of the structure and function of civil states. Mr. Wormald shows that Bacon was concerned equally (...) with the knowledge of the world of nature and with that of policy. The junction between the two enterprises was effected by his work in history; and in the end it was Bacon's conception and practice of history that provided the answer to his efforts to advance policy and natural philosophy. (shrink)

The history of Athenian relations with Sicily in the fifth century is beset with difficulties; and no part of it, perhaps, is more obscure than the story of what is commonly known as the First Sicilian Expedition, which set sail from Athens in the late summer of 427 under Laches, and was reinforced under Pythodorus, Sophocles and Eurymedon in the winter of 426.

Recovers some of the value in the Wittgensteinian period of philosophy, using certain logical systems: Prior's theory of operators and Hilbert's epsilon calculus. This work applies, discursively, the previous largely technical results published in Prolegomena to Formal Logic (Aldershot, Gower 1989) and Intensional Logic (Aldershot, Ashgate 1994) to resolve matters of current interest in philosophy, logic and linguistics - notably attacking a variety of realisms found in comtemporary cognitive science and the philosophy of mathematics.

The Einstein-Podolsky-Rosen paradox as formulated in their original paper is critically examined. Their argument that quantum mechanics is incomplete is shown to be unsatisfactory on two important grounds. (i) The gedanken experiment proposed by Einstein, Podolsky, and Rosen is physically unrealizable, and consequently their argument is invalid as it stands. (ii) The basic assumptions of their argument are equivalent to the assumption that quantum mechanical systems are in fact describable by unique eigenfunctions of the operators corresponding to physical observables, independent (...) of any observation or measurement. Following an argument due to Furry, it is shown that this interpretation of quantum mechanics must lead to some physical predictions at variance with those of conventional quantum mechanics. A decisive experiment has been performed by Freedman and Clauser, which rules out this interpretation, and imposes severe restrictions on any alternative theory which incorporates the Einstein, Podolsky, and Rosen concept of physical reality. (shrink)

The thermodynamics of averaged motion treats the asymptotic spatiotemporal evolution of nonlinear irreversible processes. Dissipative and conservative actions are associated with short and long spatiotemporal scales, respectively. The motion of asymptotically stable systems is slow, monotonic, and continuous, so that the microscopic state variable description of rapid motion can be supplanted by an analysis of the macroscopic variable equations of motion of amplitude and phase. Rapid motion is associated with instability, and the direction of system motion is determined by thermodynamic (...) criteria, in place of an analysis of the microscopic equations of motion. The characteristic structural configurations, deduced from the extremum principles of partial differential equations, are compared with the thermodynamic criteria. As a result of the nature of asymptotic motion, variational principles exist which characterize the asymptotic states of the system. (shrink)

The paper presents and applies Hilbert's Epsilon Calculus, first describing its standard proof theory, and giving it an intensional semantics. These are contrasted with the proof theory of Fregean Predicate Logic, and the traditional (extensional) choice function semantics for the calculus. The semantics provided show that epsilon terms are referring terms in Donnellan's sense, enabling the symbolisation and validation of argument forms involving E-type pronouns, both in extensional and intensional contexts. By providing for transparency in intensional constructions they support a (...) Model Conceptualism to contrast with traditional intensional logic's Modal Realism. But epsilon-terms also symbolise fictions, and through their difference from iota terms enable the solution of a number of outstanding puzzles about Direct Reference and de re beliefs. (shrink)

The author has made this treatise on Madhva’s realistic school of Ved?nta philosophy convincing to the modern mind by employing western logical apparatus in substantiating Madhva’s ideas. Following the Indian classical tradition, the author has examined the validity of Advaitaved?nta, the Absolute Monism of ?a?kara and Bh?skara as P?rvapak?a, and logically proved its inconsistencies. He has then established the Dvaitasiddh?nta i.e., the Monotheistic Dualism of Madhva. He has successfully brought out the nuances of the realistic school of Indian philosophical thought (...) in this work. A Modern Introduction to M?dhva Philosophy is Prof B H Kotabagi’s posthumous publication. (shrink)

One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ?Jack is in the kitchen? contradicts ?Jack is not in the kitchen?

In a previous issue of Philosophical Investigations Professor Radford provides a counterexample to the equation1: a word is on the tip of a man's tongue IFF (a) he can recognize the word and (b1) he believes he may be able to produce It (fairly soon).